Safety Cases for Advanced Control Software: Safety Case Patterns
نویسندگان
چکیده
منابع مشابه
Using a Software Safety Argument Pattern Catalogue: Two Case Studies
Software safety cases encourage developers to carry out only those safety activities that actually reduce risk. In practice this is not always achieved. To help remedy this, the SSEI at the University of York has developed a set of software safety argument patterns. This paper reports on using the patterns in two real-world case studies, evaluating the patterns’ use against criteria that includ...
متن کاملHow past Loss of Control Accidents May Inform Safety Cases for Advanced Control Systems on Commercial Aircraft
This paper describes five loss of control accidents involving commercial aircraft, and derives from those accidents three principles to consider when developing a potential safety case for an advanced flight control system for commercial aircraft. One, among the foundational evidence needed to support a safety case is the availability to the control system of accurate and timely information abo...
متن کاملA Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis
Software safety is a crucial aspect during the development of modern safety-critical systems. Software is becoming responsible for most of the critical functions of systems. Therefore, the software components in the systems need to be tested extensively against their safety requirements to ensure a high level of system safety. However, performing testing exhaustively to test all software behavi...
متن کاملA Pattern to Argue the Compliance of System Safety Requirements Decomposition
Safety case is a structured argument aimed to argue the system is acceptably safe to operate in a specific environment. Safety cases have been successfully used as documentation to support the certification process of safety-critical systems. Safety case patterns have been used to document recurrent safety argumentation solutions that have evolved over time by providing a simple and efficient s...
متن کاملSaCS: A Method and a Pattern Language for the Development of Conceptual Safety Designs
Flight control systems, railway interlocking systems, and nuclear reactor protection systems are examples of safety critical systems from different industrial domains. A safety critical system within any of these domains requires some type of acceptance from a safety authority prior to commissioning. The minimum prerequisite for achieving acceptance is to comply with relevant normative requirem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007